Optimal. Leaf size=318 \[ \frac {1}{4} i \sqrt [3]{c-i d} x-\frac {1}{4} i \sqrt [3]{c+i d} x-\frac {\sqrt {3} \sqrt [3]{c-i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}}{\sqrt {3}}\right )}{2 f}-\frac {\sqrt {3} \sqrt [3]{c+i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}}{\sqrt {3}}\right )}{2 f}+\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}+\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}+\frac {3 \sqrt [3]{c-i d} \log \left (\sqrt [3]{c-i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}+\frac {3 \sqrt [3]{c+i d} \log \left (\sqrt [3]{c+i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}+\frac {3 \sqrt [3]{c+d \tan (e+f x)}}{f} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.22, antiderivative size = 318, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 7, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {3609, 3620,
3618, 59, 631, 210, 31} \begin {gather*} -\frac {\sqrt {3} \sqrt [3]{c-i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}}{\sqrt {3}}\right )}{2 f}-\frac {\sqrt {3} \sqrt [3]{c+i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}}{\sqrt {3}}\right )}{2 f}+\frac {3 \sqrt [3]{c+d \tan (e+f x)}}{f}+\frac {3 \sqrt [3]{c-i d} \log \left (-\sqrt [3]{c+d \tan (e+f x)}+\sqrt [3]{c-i d}\right )}{4 f}+\frac {3 \sqrt [3]{c+i d} \log \left (-\sqrt [3]{c+d \tan (e+f x)}+\sqrt [3]{c+i d}\right )}{4 f}+\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}+\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}+\frac {1}{4} i x \sqrt [3]{c-i d}-\frac {1}{4} i x \sqrt [3]{c+i d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 59
Rule 210
Rule 631
Rule 3609
Rule 3618
Rule 3620
Rubi steps
\begin {align*} \int \tan (e+f x) \sqrt [3]{c+d \tan (e+f x)} \, dx &=\frac {3 \sqrt [3]{c+d \tan (e+f x)}}{f}+\int \frac {-d+c \tan (e+f x)}{(c+d \tan (e+f x))^{2/3}} \, dx\\ &=\frac {3 \sqrt [3]{c+d \tan (e+f x)}}{f}+\frac {1}{2} (-i c-d) \int \frac {1+i \tan (e+f x)}{(c+d \tan (e+f x))^{2/3}} \, dx+\frac {1}{2} (i c-d) \int \frac {1-i \tan (e+f x)}{(c+d \tan (e+f x))^{2/3}} \, dx\\ &=\frac {3 \sqrt [3]{c+d \tan (e+f x)}}{f}+\frac {(c-i d) \text {Subst}\left (\int \frac {1}{(-1+x) (c-i d x)^{2/3}} \, dx,x,i \tan (e+f x)\right )}{2 f}+\frac {(c+i d) \text {Subst}\left (\int \frac {1}{(-1+x) (c+i d x)^{2/3}} \, dx,x,-i \tan (e+f x)\right )}{2 f}\\ &=\frac {1}{4} i \sqrt [3]{c-i d} x-\frac {1}{4} i \sqrt [3]{c+i d} x+\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}+\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}+\frac {3 \sqrt [3]{c+d \tan (e+f x)}}{f}-\frac {\left (3 \sqrt [3]{c-i d}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{c-i d}-x} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}-\frac {\left (3 (c-i d)^{2/3}\right ) \text {Subst}\left (\int \frac {1}{(c-i d)^{2/3}+\sqrt [3]{c-i d} x+x^2} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}-\frac {\left (3 \sqrt [3]{c+i d}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{c+i d}-x} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}-\frac {\left (3 (c+i d)^{2/3}\right ) \text {Subst}\left (\int \frac {1}{(c+i d)^{2/3}+\sqrt [3]{c+i d} x+x^2} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}\\ &=\frac {1}{4} i \sqrt [3]{c-i d} x-\frac {1}{4} i \sqrt [3]{c+i d} x+\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}+\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}+\frac {3 \sqrt [3]{c-i d} \log \left (\sqrt [3]{c-i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}+\frac {3 \sqrt [3]{c+i d} \log \left (\sqrt [3]{c+i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}+\frac {3 \sqrt [3]{c+d \tan (e+f x)}}{f}+\frac {\left (3 \sqrt [3]{c-i d}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}\right )}{2 f}+\frac {\left (3 \sqrt [3]{c+i d}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}\right )}{2 f}\\ &=\frac {1}{4} i \sqrt [3]{c-i d} x-\frac {1}{4} i \sqrt [3]{c+i d} x-\frac {\sqrt {3} \sqrt [3]{c-i d} \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}}{\sqrt {3}}\right )}{2 f}-\frac {\sqrt {3} \sqrt [3]{c+i d} \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}}{\sqrt {3}}\right )}{2 f}+\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}+\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}+\frac {3 \sqrt [3]{c-i d} \log \left (\sqrt [3]{c-i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}+\frac {3 \sqrt [3]{c+i d} \log \left (\sqrt [3]{c+i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}+\frac {3 \sqrt [3]{c+d \tan (e+f x)}}{f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.24, size = 346, normalized size = 1.09 \begin {gather*} -\frac {2 \sqrt {3} \sqrt [3]{c-i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}}{\sqrt {3}}\right )+2 \sqrt {3} \sqrt [3]{c+i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}}{\sqrt {3}}\right )-2 \sqrt [3]{c-i d} \log \left (\sqrt [3]{c-i d}-\sqrt [3]{c+d \tan (e+f x)}\right )-2 \sqrt [3]{c+i d} \log \left (\sqrt [3]{c+i d}-\sqrt [3]{c+d \tan (e+f x)}\right )+\sqrt [3]{c-i d} \log \left ((c-i d)^{2/3}+\sqrt [3]{c-i d} \sqrt [3]{c+d \tan (e+f x)}+(c+d \tan (e+f x))^{2/3}\right )+\sqrt [3]{c+i d} \log \left ((c+i d)^{2/3}+\sqrt [3]{c+i d} \sqrt [3]{c+d \tan (e+f x)}+(c+d \tan (e+f x))^{2/3}\right )-12 \sqrt [3]{c+d \tan (e+f x)}}{4 f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.24, size = 88, normalized size = 0.28
method | result | size |
derivativedivides | \(\frac {3 \left (c +d \tan \left (f x +e \right )\right )^{\frac {1}{3}}+\frac {\left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{6}-2 c \,\textit {\_Z}^{3}+c^{2}+d^{2}\right )}{\sum }\frac {\left (\textit {\_R}^{3} c -c^{2}-d^{2}\right ) \ln \left (\left (c +d \tan \left (f x +e \right )\right )^{\frac {1}{3}}-\textit {\_R} \right )}{\textit {\_R}^{5}-\textit {\_R}^{2} c}\right )}{2}}{f}\) | \(88\) |
default | \(\frac {3 \left (c +d \tan \left (f x +e \right )\right )^{\frac {1}{3}}+\frac {\left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{6}-2 c \,\textit {\_Z}^{3}+c^{2}+d^{2}\right )}{\sum }\frac {\left (\textit {\_R}^{3} c -c^{2}-d^{2}\right ) \ln \left (\left (c +d \tan \left (f x +e \right )\right )^{\frac {1}{3}}-\textit {\_R} \right )}{\textit {\_R}^{5}-\textit {\_R}^{2} c}\right )}{2}}{f}\) | \(88\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 2859 vs.
\(2 (241) = 482\).
time = 1.20, size = 2859, normalized size = 8.99 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \sqrt [3]{c + d \tan {\left (e + f x \right )}} \tan {\left (e + f x \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.43, size = 18, normalized size = 0.06 \begin {gather*} \frac {3 \, {\left (d \tan \left (f x + e\right ) + c\right )}^{\frac {1}{3}}}{f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 8.08, size = 830, normalized size = 2.61 \begin {gather*} \ln \left ({\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}-f\,{\left (\frac {c-d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}\right )\,{\left (\frac {c-d\,1{}\mathrm {i}}{8\,f^3}\right )}^{1/3}+\ln \left ({\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}-f\,{\left (\frac {c+d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}\right )\,{\left (\frac {c+d\,1{}\mathrm {i}}{8\,f^3}\right )}^{1/3}+\frac {3\,{\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}}{f}+\ln \left (\frac {486\,\left (d^8-c^4\,d^4\right )\,{\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}}{f^4}-\frac {\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {972\,\left (d^8-c^4\,d^4\right )}{f^3}+\frac {\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {3888\,c\,d^4\,\left (c^2+d^2\right )\,{\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}}{f}-3888\,c\,d^4\,\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,{\left (\frac {c-d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}\,\left (c^2+d^2\right )\right )\,{\left (\frac {c-d\,1{}\mathrm {i}}{f^3}\right )}^{2/3}}{4}\right )\,{\left (\frac {c-d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}}{2}\right )\,\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,{\left (\frac {c-d\,1{}\mathrm {i}}{8\,f^3}\right )}^{1/3}+\ln \left (\frac {486\,\left (d^8-c^4\,d^4\right )\,{\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}}{f^4}-\frac {\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {972\,\left (d^8-c^4\,d^4\right )}{f^3}+\frac {\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {3888\,c\,d^4\,\left (c^2+d^2\right )\,{\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}}{f}-3888\,c\,d^4\,\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,{\left (\frac {c+d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}\,\left (c^2+d^2\right )\right )\,{\left (\frac {c+d\,1{}\mathrm {i}}{f^3}\right )}^{2/3}}{4}\right )\,{\left (\frac {c+d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}}{2}\right )\,\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,{\left (\frac {c+d\,1{}\mathrm {i}}{8\,f^3}\right )}^{1/3}-\ln \left (\frac {\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {972\,\left (d^8-c^4\,d^4\right )}{f^3}-\frac {\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {3888\,c\,d^4\,\left (c^2+d^2\right )\,{\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}}{f}+3888\,c\,d^4\,\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,{\left (\frac {c-d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}\,\left (c^2+d^2\right )\right )\,{\left (\frac {c-d\,1{}\mathrm {i}}{f^3}\right )}^{2/3}}{4}\right )\,{\left (\frac {c-d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}}{2}+\frac {486\,\left (d^8-c^4\,d^4\right )\,{\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}}{f^4}\right )\,\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,{\left (\frac {c-d\,1{}\mathrm {i}}{8\,f^3}\right )}^{1/3}-\ln \left (\frac {\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {972\,\left (d^8-c^4\,d^4\right )}{f^3}-\frac {\left (-\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,\left (\frac {3888\,c\,d^4\,\left (c^2+d^2\right )\,{\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}}{f}+3888\,c\,d^4\,\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,{\left (\frac {c+d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}\,\left (c^2+d^2\right )\right )\,{\left (\frac {c+d\,1{}\mathrm {i}}{f^3}\right )}^{2/3}}{4}\right )\,{\left (\frac {c+d\,1{}\mathrm {i}}{f^3}\right )}^{1/3}}{2}+\frac {486\,\left (d^8-c^4\,d^4\right )\,{\left (c+d\,\mathrm {tan}\left (e+f\,x\right )\right )}^{1/3}}{f^4}\right )\,\left (\frac {1}{2}+\frac {\sqrt {3}\,1{}\mathrm {i}}{2}\right )\,{\left (\frac {c+d\,1{}\mathrm {i}}{8\,f^3}\right )}^{1/3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________